#include <stdint.h>
#include <memory.h>
#include <text_video.h>
#include <elf.h>

struct elf_info_t * parse_elf(const uint32_t base)
{
    struct elf_info_t * elf = (struct elf_info_t*)memalloc(sizeof(struct elf_info_t), 4);
    
    return elf;
}

void parse_kernel_elf(const uint32_t base)
{
    parse_elf(base);
}

